Checking the Data Sharing Strategies of Concurrent Systems Level Code
نویسنده
چکیده
Checking the Data Sharing Strategies of Concurrent Systems Level Code
منابع مشابه
An approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملVerification of Concurrent Quantum Protocols by Equivalence Checking
We present a tool which uses a concurrent language for describing quantum systems, and performs verification by checking equivalence between specification and implementation. In general, simulation of quantum systems using current computing technology is infeasible. We restrict ourselves to the stabilizer formalism, in which there are efficient simulation algorithms. In particular, we consider ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملFrom Traditional to Digital Environment: An Analysis of the Evolution of Business Models and New Marketing Strategies
This paper analyzes the major trends in the business environment that shaped the business models adopted by companies and their new marketing strategies. It adopts a desktop research methodology by collecting data from previous academic papers, statistical, and analytical reports. It starts by analyzing the globalization trend that forced most of the emerging economies to liberalize and privati...
متن کاملSPIN as a Linearizability Checker under Weak Memory Models
Linearizability is the key correctness criterion for concurrent data structures like stacks, queues or sets. Consequently, much effort has been spent on developing techniques for showing linearizability. However, most of these approaches assume a sequentially consistent memory model whereas today’s multicore processors provide relaxed out-of-order execution semantics. In this paper, we present ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010